Add the option to build Texinfo-format documentation.
authorBenjamin Moody <benjamin@physionet.org>
Tue, 20 Jan 2026 10:45:10 +0000 (11:45 +0100)
committerAndrej Shadura <andrewsh@debian.org>
Tue, 20 Jan 2026 10:45:10 +0000 (11:45 +0100)
commit54d6ace66d1fea973d26b76828d416465d47a461
tree9e7377912f0fe9b3c7e934727b0c6838f33d0051
parente3cd1e627fd493b5850b65b66c71f90482f83610
Add the option to build Texinfo-format documentation.

Bug-Debian: https://bugs.debian.org/881959
Last-Update: 2017-11-27

Gbp-Pq: Name doc-build-texinfo.diff
Doc/Makefile